The method based on the idea of Galois connection is well known. It facilitates investigations into similarities between mathematical structures, including isomorphisms between these structures, the highest degree of similarity. This idea is employed here and adapted so as to get to the core of aspects of the relationship between some metamathematical structures. The focus is put on the relation between traditional methodological orthodoxy based on the idea of proof , on the one hand, and on some alternative methodological set-ups (...) based on other ideas such as consistency or some forms of maximality, on the other hand. (shrink)

. The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other.

the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the (...) standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent. (shrink)

By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's -conditionals and Post's negation, where m is the number of truth values and u is the number of designated truth values . The main feature of the technique which we employ in this proof generalises the well-known Kalmár Lemma which was used by its author in his completeness argument for the ordinary, two-valued logic.

stanislaw lesniewski, Collected Works, Edited by Stanislaw J. Surma, Jan T. Srzednicki and D. I. Barnett, with an annotated bibliography by V. Frederick Rickey. Warsaw:PWN?Polish Scientific Publishers; and Dordrecht, Boston, London: Kluwer. 2 vols., xvi + 794 pp. $274/£163/Dfl. 480.

(2002). Philosophy of Science 72 (January), 198-208.

In his award-winning book _The Philosophy of Edmund Husserl: A Historical Development_, J. N. Mohanty charted Husserl's philosophical development from the young man's earliest studies—informed by his work as a mathematician—to the publication of his _Ideas_ in 1913. In this welcome new volume, the author takes up the final decades of Husserl's life, addressing the work of his Freiburg period, from 1916 until his death in 1938. As in his earlier work, Mohanty here offers close readings of Husserl's main texts (...) accompanied by accurate summaries, informative commentaries, and original analyses. This book, along with its companion volume, completes the most up-to-date, well-informed, and comprehensive account ever written on Husserl's phenomenological philosophy and its development. (shrink)

For half a century, J. I. Packer's classic has helped Christians everywhere discover the wonder, glory, and joy of knowing God. This fiftieth anniversary edition of a thought-provoking work seeks to renew and enrich our understanding of God, bringing together knowing about God and knowing God through a close relationship with Jesus Christ.

After measuring consumers' sentiments toward business ethical practices in mostly Christian countries, the Business Ethics Index was expanded to two Muslim countries — Turkey and Egypt. The overall BEI for both countries was on the negative range, with Egypt exhibiting the widest gap between personal ethical perceptions and vicarious ones. No difference between genders was observed.

--Father Hart, by J.D. Collins.--The meeting of the ways, by J.A. McWilliams.--On the notion of subsistence, by J. Maritain.--Metaphysics and unity, by E.G. Salmon.--What is really real? By W.N. Clarke.--Professor Scheltens and the proof of God's existence, by F.X. Meehan.--On the mathematical approach to nature, by V.E. Smith.--The assimilation of the new to the old in the philosophy of nature, by L.A. Foley.--In seipsa subsistere, by I. Brady.--St. Thomas and the unity of man, by A.C. Pegis.--Law and morality, by G.B. (...) Phelan.--Thomistic thoughts on government and rulers, by I. Smith. (shrink)

International array of contributors, bringing together both traditional and more recent approaches to provide valuable insights into the poets’ use of language.Covers authors from Lucilius to Juvenal.Of the peoples of ancient Italy, only the Romans committed newly composed poems to writing, and for 250 years Latin-speakers developed an impressive verse literature.The language had traditional resources of high style, e.g., alliteration, lexical and morphological archaism or grecism, and of course metaphor and word order; and there were also less obvious resources in (...) the technical vocabularies of law, philosophy and medicine.The essays in this volume show how the poets in the classical period combined these elements, and so created a poetic medium that could comprehend satire, invective, erotic elegy, drama, lyric, and the grandest heroic epos. (shrink)

Although Lakoff and Johnson’s Conceptual Metaphor Theory has been influential across many disciplines, little research has tested the psychological reality of conceptual metaphors using established experimental memory paradigms. Here we employ an episodic memory task based on the Deese-Roediger-McDermott false memory paradigm to explore this possibility. We find that after reading lists of sentences based on underlying conceptual metaphors that participants are more likely to falsely remember the nonpresented conceptual metaphors themselves as well as new sentences consistent with the CM (...) mapping than control items that do not share this mapping. This finding provides experimental support for conceptual metaphors and highlights the utility of using episodic tasks to explore the assumptions of this theory. (shrink)

Prologue: Stormclouds : London, April 1900 -- Quantum of action: The most strenuous work of my life : Berlin, December 1900 ; Annus Mirabilis : Bern, March 1905 ; A little bit of reality : Manchester, April 1913 ; la Comédie Française : Paris, September 1923 ; A strangely beautiful interior : Helgoland, June 1925 ; The self-rotating electron : Leiden, November 1925 ; A late erotic outburst : Swiss Alps, Christmas 1925 -- Quantum interpretation: Ghost field : Oxford, August (...) 1926 ; All this damned quantum jumping : Copenhagen, October 1926 ; The uncertainty principle : Copenhagen, February 1927 ; The 'Kopenhagener geist' : Copenhagen, June 1927 ; There is no quantum world : Lake Como, September 1927 -- Quantum debate: The debate commences : Brussels, October 1927 ; An absolute wonder : Cambridge, Christmas 1927 ; The photon box : Brussels, October 1930 ; A bolt from the blue : Princeton, May 1935 ; The paradox of Schrödinger's cat : Oxford, August 1935 -- Interlude: The first war of physics : Christmas 1938-August 1945 -- Quantum fields: Shelter Island : Long Island, June 1947 ; Pictorial semi-vision thing : New York, January 1949 ; A beautiful idea : Princeton, February 1954 ; Some strangeness in the proportion : Rochester, August 1960 ; Three quarks for Muster Mark! : New York, March 1963 ; The 'God particle' : Cambridge, Massachusetts, Autumn 1967 -- Quantum particles: Deep inelastic scattering : Stanford, August 1968 ; Of charm and weak neutral currents : Harvard, February 1970 ; The magic of colour : Princeton/Harvard, April 1973 ; The November revolution : Long Island/Stanford, November 1974 ; Intermediate vector bosons : Geneva, January/June 1983 ; The standard model : Geneva, September 2003 -- Quantum reality: Hidden variable : Princeton, Spring 1951 ; Bertlmann's socks : Boston, September 1964 ; The Aspect experiments : Paris, September 1982 ; The quantum eraser : Baltimore, January 1999 ; Lab cats : Stony Brook/Delft, July 2000 ; The persistent illusion : Vienna, December 2006 -- Quantum cosmology: The wavefunction of the universe : Princeton, July 1966 ; Hawking radiation : Oxford, February 1974 ; The first superstring revolution : Aspen, August 1984 ; Quanta of space and time : Santa Barbara, February 1986 ; Crisis? What crisis? : Durham, Summer 1994 -- A quantum of solace? : Geneva, March 2010. (shrink)

Abstract Quantum mechanics has seemed to defy all attempts to construe it realistically, but antirealism, like the many?worlds hypothesis, is even more difficult to accept. In order to give a realist construal of quantum mechanics, we need first to distinguish the objective and rational aspect of reality from the paradigmatic thing?like aspects of having determinate physical properties: quantum?mechanical entities may be real in the former sense though not in the latter. Anti?realist arguments are based on the difficulty of giving an (...) account of quantum?mechanical collapse and the apparent superluminal velocities involved. Objections to superluminal velocities on the score of the special theory of relativity are found not to be conclusive, and the price?there being some preferred frame of reference?to be acceptable. A sketch of a probabilistic account of quantum?mechanical collapse is offered, which makes the difference between the macro? and the micro?world a matter of degree rather than kind. If that, or some other, account proved acceptable, we could be quantum?mechanical realists, though quantum?mechanical reality would be very different from that of material objects in hardware shops. (shrink)

We present six significant open problems in Pure Inductive Logic, together with their background and current status, with the intention of raising awareness and leading ultimately to their resolution.